Category:意味論 (論理学)

Tautology (logic)

Mereology

Semantics

Domain of discourse

Game semantics

Sense and reference

Declarative knowledge

Recursive definition

Intension

Truth table

Circular definition

Brain in a vat